Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
341	ASM386 Macro Assembler Operating Instructions RadiSys Corporation 5445 NE Dawson Creek Drive Add to Reading List Source URL: www.tenasys.com Language: English - Date: 2012-03-29 23:00:43 Computer programming Programming language implementation Assembly languages IBM Basic assembly language A86 C preprocessor Object file ASM-One Macro Assembler Comparison of assemblers Software Computing Assemblers
342	THE UNIVERSITY OF CHICAGO REFLECTIVE TECHNIQUES IN EXTENSIBLE LANGUAGES A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2008-10-09 15:01:50 High-level programming languages Scripting languages Programming paradigms Transformation languages Programming language implementation Stratego/XT Extensible programming IMP programming language Compiler Software engineering Computing Computer programming
343	StackAnalyzer for x86 (Flat Memory Model) StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotation Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Embedded operating systems Real-time operating systems Compiler construction Compilers Programming language implementation X86 LynuxWorks LynxOS Call graph Software Computing Computer architecture
344	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
345	Partial evaluation based on three-address form c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia November 18th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-18 07:53:28 Compiler optimizations Functional languages Compiler construction Programming language implementation Constant folding Stack Compiler Static single assignment form ATS Computing Software engineering Computer programming
346	E N A B L I N G P O LY H E D R A L O P T I M I Z AT I O N S I N L LV M tobias christian grosser Diploma Thesis Programming Group Department of Informatics and Mathematics Add to Reading List Source URL: polly.llvm.org Language: English - Date: 2012-02-15 16:11:19 Compiler optimizations Compilers Parallel computing Compiler construction Programming language implementation LLVM Loop optimization Compiler Source-to-source compiler Computing Software Computer programming
347	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY A.I. Technical Report NoJuly 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:06 Compiler optimizations Lisp programming language Parallel computing Programming language implementation Automatic parallelization Compiler Gerald Jay Sussman Very long instruction word Hal Abelson Computing Software engineering Computer programming
348	Some Assembly Required - Program Analysis of Embedded System Code Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-10-07 01:51:34 Data types Procedural programming languages Program analysis Compiler construction Programming language implementation C Aliasing Type system Pointer Software engineering Computing Computer programming
349	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
350	StackAnalyzer for LEON3 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compiler construction LEON Call graph GNU Compiler Collection Compiler GNAT Linux Control flow graph Software Computing Programming language implementation

UPDATE